Deep mathematical results are the ones that connect seemingly unrelated areas: towards a formal proof of Gian-Carlo Rota's thesis
نویسندگان
چکیده
منابع مشابه
Deep Mathematical Results Are The Ones That Connect Seemingly Unrelated Areas: Towards A Formal Proof Of Gian-Carlo Rota's Thesis
When is a mathematical result deep? At first glance, the answer to this question is subjective: what is deep for one mathematician may not sound that deep for another. A renowned mathematician Gian-Carlo Rota expressed an opinion that the notion of deepness is more objective that we may think: namely, that a mathematical statement is deep if and only if it connects two seemingly unrelated areas...
متن کاملGian Carlo Meloni
Axioms ruling linear negation have been investigated in the context of the complete semantics for distributive intuitionistic linear logic. Among these are the condition of being a dualizing element and the one of being a cyclic element. The motivation for analyzing other syntactic constraints comes from the observation that groupoids are models for classical linear logic. The analysis proceeds...
متن کاملSeemingly Unrelated Regressions
This article considers the seemingly unrelated regression (SUR) model first analyzed by Zellner (1962). We describe estimators used in the basic model as well as recent extensions.
متن کاملTowards Formal Proof Metrics
Recent years have seen increasing success in building large formal proof developments using interactive theorem provers (ITPs). Some proofs have involved many authors, years of effort, and resulted in large, complex interdependent sets of proof “source code” files. Developing these in the first place, and maintaining and extending them afterwards, is a considerable challenge. It has prompted th...
متن کاملSEEMINGLY UNRELATED NEGATIVE BINOMIAL REGRESSIONy
The seemingly unrelated Poisson (SUP) model (King (1989a), see also Aptech (1994)) is a model for bior multi-variate counted outcomes. Correlation between equations is introduced through a convolution structure with a common additive factor. Previous economic applications include the joint analysis of voluntary and involuntary labour mobility (Jung and Winkelmann, 1993) and the number of recrea...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applied Mathematical Sciences
سال: 2014
ISSN: 1314-7552
DOI: 10.12988/ams.2014.43221